Symbolic system - PDFSEARCH.IO - Document Search Engine

Symbolic system
Results: 148

#	Item
41	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
42	Simplification of Symbolic-Numerical Interval Expressions∗ E. D. Popova C. P. Ullrich Inst. of Mathematics & Comp. Sci. Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Numerical analysis Arithmetic Computer arithmetic Interval arithmetic Interval Computer algebra system Polynomial Calculus Logarithm Mathematics Algebra Mathematical software
43	The Xcpu Cluster Management Framework Latchesar Ionkov, Ron Minnich, Andrey Mirtchovski Los Alamos National Laboratory∗ {lionkov,rminnich,andrey}@lanl.gov ABSTRACT Add to Reading List Source URL: lsub.org Language: English - Date: 2014-05-08 11:33:13 Concurrent computing Process Standard streams Exec Computer file Symbolic link File system Tar Device file Computing System software Unix
44	10 Useful Command(ment)s  Some commands & concepts that are useful in many unexpected situations  Add to Reading List Source URL: www.treblig.org Language: English - Date: 2011-04-09 16:53:24 Unix Debian Dpkg Dd Ln Strace Advanced Packaging Tool Device file Symbolic link Computing Software System software
45	Symbolic Domain Predictive Control Johannes L¨ohr Martin Wehrle Maria Fox Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Linear algebra Functions and mappings Group theory Control theory State space Matrix Function Differential equation Dynamical system Algebra Mathematics Abstract algebra
46	Beginners: Learn Linux (Linux Reviews) > Linux Reviews > Beginners: Learn Linux Beginners: Learn Linux v0en), xiando A beginners guide to Linux for those with little or no computer experience. Add to Reading List Source URL: linuxreviews.org Language: English - Date: 2014-04-01 13:42:23 Unix System administration Folder Symbolic link Virtual folder Home directory Tar Ln GNU Core Utilities Computing Software System software
47	Beginners: Learn Linux Beginners: Learn Linux v0en), xiando A beginners guide to Linux for those with little or no computer experience. 1. What is Linux? 2. Understanding files and folders Add to Reading List Source URL: linuxreviews.org Language: English - Date: 2014-04-01 13:42:23 Unix System administration Folder Find Home directory Filesystem Hierarchy Standard Chmod Computer file Symbolic link Computing System software Software
48	Perl versiondocumentation - File::Spec::Unix NAME File::Spec::Unix - File::Spec for Unix, base for other File::Spec modules SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 16:09:58 Computer file formats Filename Names Disk file systems Path Symbolic link Working directory Root directory File system Computing System software Data management
49	THE MITRE CORPORATION The OVAL® Language UNIX Component Model Specification Version 5.11 Add to Reading List Source URL: oval.mitre.org Language: English - Date: 2014-12-18 16:02:43 Filename File system File Ln Ls Path Symbolic link Du Command-line interface Computing Unix Software
50	File Systems in Unix Norman Matloff Department of Computer Science University of California at Davis October 19, 1998 Add to Reading List Source URL: heather.cs.ucdavis.edu Language: English - Date: 2005-09-27 21:26:06 Ln Filesystem permissions Ls Rm Computer file Home directory File system Cp Symbolic link Computing Unix Chmod

UPDATE